home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Source Code / C / Applications / Moscow ML 1.31 / source code / mosml / src / mosmllib / Word8Vector.sig < prev   
Encoding:
Text File  |  1996-07-03  |  1.0 KB  |  33 lines  |  [TEXT/R*ch]
  1. (* Word8Vector -- SML Standard Library *)
  2.  
  3. eqtype vector
  4. type elem = Word8.word
  5.  
  6. val maxLen   : int
  7.  
  8. val fromList : elem list -> vector
  9. val tabulate : int * (int -> elem) -> vector
  10.  
  11. val length   : vector -> int
  12. val sub      : vector * int -> elem
  13. val extract  : vector * int * int option -> vector
  14. val concat   : vector list -> vector
  15.  
  16. val app      : (elem -> unit) -> vector -> unit
  17. val foldl    : (elem * 'b -> 'b) -> 'b -> vector -> 'b
  18. val foldr    : (elem * 'b -> 'b) -> 'b -> vector -> 'b
  19.  
  20. val appi     : (int * elem -> unit) -> vector * int * int option -> unit
  21. val foldli   : (int * elem * 'b -> 'b) -> 'b -> vector*int*int option -> 'b
  22. val foldri   : (int * elem * 'b -> 'b) -> 'b -> vector*int*int option -> 'b
  23.  
  24.  
  25. (* Type [vector] is the type of one-dimensional, immutable, zero-based
  26.    constant-time-access vectors with elements of type Word8.word, that
  27.    is, 8-bit words.  Type vector admits equality, and vectors v1 and
  28.    v2 are equal if they have the same length and their elements are
  29.    equal.
  30.  
  31.    All operations are as for Vector.vector.
  32. *)
  33.